Fixed point - PDFSEARCH.IO - Document Search Engine

Fixed point
Results: 544

#	Item
331	UNIVERSITY OF Southampton School of Engineering Sciences Fluid Structure Interactions Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2011-11-22 18:02:43 Application software OpenFOAM Fixed-point iteration Applied mathematics Fluid dynamics Science Fluid-structure interaction
332	HEX SP.268 SPRING[removed]Introduction The game of Hex was first invented in 1942 by Piet Hein, a Danish Add to Reading List Source URL: web.mit.edu Language: English - Date: 2011-03-21 01:39:41 Graph theory Hex Brouwer fixed-point theorem Degree Continuous function Games Mathematics Mathematical analysis
333	First steps in synthetic guarded domain theory: step-indexing in the topos of trees Lars Birkedal 1 Rasmus Ejlers Møgelberg 1 Kristian Støvring 2 Jan Schwinghammer 3 1 IT Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-19 16:17:18 Recursion Constructible universe Forcing Fixed-point combinator Μ operator Linear temporal logic Mathematical logic Theoretical computer science Mathematics
334	Opinion We Can Make a Change On October 27, 1928, the Dutch mathematician L. E. J. Brouwer, well known for the fixed-point theorem named after him, received a telegram from Erhard Schmidt advising Add to Reading List Source URL: www.ams.org Language: English - Date: 2004-03-24 14:58:06 Intuitionism Compositio Mathematica Philosophy of mathematics Luitzen Egbertus Jan Brouwer London Mathematical Society Foundations of mathematics Mathematica American Mathematical Society Mathematics Mathematical software Science
335	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
336	Functional Fixpoint Evaluators for Partially Circular Attribute Grammars J. F. Cardona-McCormick1? , S. D. Swierstra2 , and F. J. Correa-Zabala1 1 Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2011-11-01 13:15:44 Attribute grammar Compiler construction Parsing Statistic Function Formal grammar FO Fixed point Expected value Formal languages Mathematics Programming paradigms
337	Characteristic Formulae for Fixed-Point Semantics: A General Framework∗ Luca Aceto Anna Ingolfsdottir Add to Reading List Source URL: www.ru.is Language: English - Date: 2009-06-14 06:08:27 Metalogic Binary operations Model theory Propositional calculus Bisimulation Logical equivalence Interpretation If and only if Entailment Logic Mathematics Mathematical logic
338	Functional Programming with Structured Graphs Bruno C. d. S. Oliveira William R. Cook National University of Singapore Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-22 14:17:56 Recursion Lambda calculus Functional programming Higher-order functions Computability theory Fixed-point combinator Generic programming Fold Functor Software engineering Mathematics Declarative programming
339	Elisabetta Pallante∗ Centre for Theoretical Physics, University of Groningen, 9747 AG, Netherlands E-mail: [removed] We review some recent progress in our understanding of the phase diagram of non abelian gauge Add to Reading List Source URL: pos.sissa.it Language: English - Date: 2010-01-27 16:29:20 Particle physics Conformal field theory Fixed points Technicolor Beta function Quantum chromodynamics Banks–Zaks fixed point Gauge theory Lattice QCD Physics Quantum field theory Renormalization group
340	Hindawi Publishing Corporation Discrete Dynamics in Nature and Society Volume 2014, Article ID[removed], 4 pages http://dx.doi.org[removed][removed]Research Article Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 08:01:59 Publishing Linear algebra Matrix theory Mathematics Hindawi Publishing Corporation Banach fixed-point theorem

UPDATE